Optimal. Leaf size=49 \[ -\frac {A \left (b+c x^2\right )^4}{10 b x^{10}}-\frac {(5 b B-A c) \left (b+c x^2\right )^4}{40 b^2 x^8} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.03, antiderivative size = 49, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 24, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.167, Rules used = {1598, 457, 79,
37} \begin {gather*} -\frac {\left (b+c x^2\right )^4 (5 b B-A c)}{40 b^2 x^8}-\frac {A \left (b+c x^2\right )^4}{10 b x^{10}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 37
Rule 79
Rule 457
Rule 1598
Rubi steps
\begin {align*} \int \frac {\left (A+B x^2\right ) \left (b x^2+c x^4\right )^3}{x^{17}} \, dx &=\int \frac {\left (A+B x^2\right ) \left (b+c x^2\right )^3}{x^{11}} \, dx\\ &=\frac {1}{2} \text {Subst}\left (\int \frac {(A+B x) (b+c x)^3}{x^6} \, dx,x,x^2\right )\\ &=-\frac {A \left (b+c x^2\right )^4}{10 b x^{10}}+\frac {(5 b B-A c) \text {Subst}\left (\int \frac {(b+c x)^3}{x^5} \, dx,x,x^2\right )}{10 b}\\ &=-\frac {A \left (b+c x^2\right )^4}{10 b x^{10}}-\frac {(5 b B-A c) \left (b+c x^2\right )^4}{40 b^2 x^8}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 78, normalized size = 1.59 \begin {gather*} -\frac {5 B x^2 \left (b^3+4 b^2 c x^2+6 b c^2 x^4+4 c^3 x^6\right )+A \left (4 b^3+15 b^2 c x^2+20 b c^2 x^4+10 c^3 x^6\right )}{40 x^{10}} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.41, size = 66, normalized size = 1.35
method | result | size |
default | \(-\frac {c^{2} \left (A c +3 B b \right )}{4 x^{4}}-\frac {b c \left (A c +B b \right )}{2 x^{6}}-\frac {B \,c^{3}}{2 x^{2}}-\frac {b^{2} \left (3 A c +B b \right )}{8 x^{8}}-\frac {A \,b^{3}}{10 x^{10}}\) | \(66\) |
risch | \(\frac {-\frac {B \,c^{3} x^{8}}{2}+\left (-\frac {1}{4} A \,c^{3}-\frac {3}{4} B b \,c^{2}\right ) x^{6}+\left (-\frac {1}{2} A b \,c^{2}-\frac {1}{2} B \,b^{2} c \right ) x^{4}+\left (-\frac {3}{8} A \,b^{2} c -\frac {1}{8} B \,b^{3}\right ) x^{2}-\frac {A \,b^{3}}{10}}{x^{10}}\) | \(76\) |
norman | \(\frac {\left (-\frac {1}{4} A \,c^{3}-\frac {3}{4} B b \,c^{2}\right ) x^{12}+\left (-\frac {1}{2} A b \,c^{2}-\frac {1}{2} B \,b^{2} c \right ) x^{10}+\left (-\frac {3}{8} A \,b^{2} c -\frac {1}{8} B \,b^{3}\right ) x^{8}-\frac {A \,b^{3} x^{6}}{10}-\frac {B \,c^{3} x^{14}}{2}}{x^{16}}\) | \(79\) |
gosper | \(-\frac {20 B \,c^{3} x^{8}+10 A \,c^{3} x^{6}+30 x^{6} B b \,c^{2}+20 A b \,c^{2} x^{4}+20 x^{4} B \,b^{2} c +15 A \,b^{2} c \,x^{2}+5 x^{2} B \,b^{3}+4 A \,b^{3}}{40 x^{10}}\) | \(80\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.28, size = 75, normalized size = 1.53 \begin {gather*} -\frac {20 \, B c^{3} x^{8} + 10 \, {\left (3 \, B b c^{2} + A c^{3}\right )} x^{6} + 20 \, {\left (B b^{2} c + A b c^{2}\right )} x^{4} + 4 \, A b^{3} + 5 \, {\left (B b^{3} + 3 \, A b^{2} c\right )} x^{2}}{40 \, x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A]
time = 1.46, size = 75, normalized size = 1.53 \begin {gather*} -\frac {20 \, B c^{3} x^{8} + 10 \, {\left (3 \, B b c^{2} + A c^{3}\right )} x^{6} + 20 \, {\left (B b^{2} c + A b c^{2}\right )} x^{4} + 4 \, A b^{3} + 5 \, {\left (B b^{3} + 3 \, A b^{2} c\right )} x^{2}}{40 \, x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A]
time = 3.55, size = 83, normalized size = 1.69 \begin {gather*} \frac {- 4 A b^{3} - 20 B c^{3} x^{8} + x^{6} \left (- 10 A c^{3} - 30 B b c^{2}\right ) + x^{4} \left (- 20 A b c^{2} - 20 B b^{2} c\right ) + x^{2} \left (- 15 A b^{2} c - 5 B b^{3}\right )}{40 x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 0.64, size = 79, normalized size = 1.61 \begin {gather*} -\frac {20 \, B c^{3} x^{8} + 30 \, B b c^{2} x^{6} + 10 \, A c^{3} x^{6} + 20 \, B b^{2} c x^{4} + 20 \, A b c^{2} x^{4} + 5 \, B b^{3} x^{2} + 15 \, A b^{2} c x^{2} + 4 \, A b^{3}}{40 \, x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.07, size = 76, normalized size = 1.55 \begin {gather*} -\frac {x^4\,\left (\frac {B\,b^2\,c}{2}+\frac {A\,b\,c^2}{2}\right )+\frac {A\,b^3}{10}+x^2\,\left (\frac {B\,b^3}{8}+\frac {3\,A\,c\,b^2}{8}\right )+x^6\,\left (\frac {A\,c^3}{4}+\frac {3\,B\,b\,c^2}{4}\right )+\frac {B\,c^3\,x^8}{2}}{x^{10}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________